An Approach of XML Query Evaluation Based Model Checking
نویسندگان
چکیده
منابع مشابه
XML Query Languages in Practice: An Evaluation
The popularity of XML as a data representation format has led to signi cant interest in querying XML documents. Although a \universal" query language is still being designed, two language proposals, XQL and XML-QL, are being implemented and applied. Experience with these early implementations and applications has been instructive in determining the requirements of an XML query language. In this...
متن کاملAn approach to knowledge-based query evaluation
We describe here a query evaluation principle based on hierarchical aggregation. Queries are assumed to be free form expressions of lists of words unconnected or forming fragments of natural language (NL). A query is transformed into a nested structure of subsets of attributes. During query evaluation, each subset is treated for individual aggregation and aggregates are thus in turn aggregated,...
متن کاملStudying an Approach to Query Spatial XML
A contribution to the Geospatial semantic Web is the definition of an approach for integrating non-spatial resources like HTML, PDF, GIF, etc., with spatial XML resources represented by Spatial XML [5]. However, in order to put this approach into practice it is necessary to solve the problem of developing an integration system for querying spatial XML resources stored in different sources. In t...
متن کاملUsing a Generic Model Query Approach to Allow for Process Model Compliance Checking - An Algorithmic Perspective
Increased regulation forces financial companies to assure their business processes’ compliance with legal and company-internal rules. In this paper, we introduce a model-driven business process compliance checking approach. It allows for defining compliance rules and identifying their occurrences in process models based on a graph theory-based approach. We outline the challenges to be met in th...
متن کاملRule-Based Query Tree Evaluation over Fragmented XML Documents
XML documents are used to hold information and to make exchanges between systems. In this paper, we consider documents that embed knowledge and rules, which may contain considerable redundancy. To control redundancy, documents are decomposed into fragments that are stored separately. Then, to materialize documents for end-users, they need to be dynamically constructed from their sources (separa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cybernetics and Information Technologies
سال: 2016
ISSN: 1314-4081
DOI: 10.1515/cait-2016-0066